SATiSFy - Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen

Neues Forschung­spro­jekt zur frühzeit­i­gen Ver­i­fika­tion von Hard­ware-basierten Safety- und Se­cu­rity-Maßnah­men am Lehrstuhl für Einge­bet­tete Sys­teme der Uni­ver­sität Tübin­gen ges­tartet.

Ziel des Vorhabens SAT­isFy ist es, Tech­niken zur for­malen Er­fas­sung und frühzeit­i­gen Ver­i­fika­tion für Sys­teme zum au­tonomen Fahren zu en­twick­eln, um die notwendi­gen Se­cu­rity- und Safety-An­forderun­gen im Ansatz sowohl auf Hard­ware- als auch auf Soft­wa­reebene gesamtheitlich zu spez­i­fizieren, zu vi­su­al­isieren und sie ins­beson­dere vor einem ab­schließenden In­te­gra­tionstest bere­its for­mal va­li­dieren zu können.

Mehr In­for­ma­tio­nen finden Sie auf der Pro­jek­t­seite.